Term Rewriting, E-graphs, Optimization, Equational Reasoning
Planarizing matchings
11011110.github.io·1d
What is Algebraic about Algebraic Effects?
interjectedfuture.com·2h
LLM-Based Instance-Driven Heuristic Bias In the Context of a Biased Random Key Genetic Algorithm
arxiv.org·15h
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·6h
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·2d
The Rise of Semantic Entity Resolution
towardsdatascience.com·1d
The “Most Hated” CSS Feature: cos() and sin()
css-tricks.com·4h
Loading...Loading more...